projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38731d5) | patch
Don't draw GTK's internal border and tab bar on top of each other
authorMartin Rudalics <rudalics@gmx.at>
Fri, 3 Apr 2020 08:31:35 +0000 (10:31 +0200)
committerMartin Rudalics <rudalics@gmx.at>
Fri, 3 Apr 2020 08:31:35 +0000 (10:31 +0200)
commitd4f51d0a2ef0dbba7a798cd7b8b0a791f723bda5
tree4bf5bf9116e7aca1744937b2bb303d5f6b93f312tree | snapshot
parent38731d504eb4675ff1c8a82f96cb90beced941d3commit | diff
Don't draw GTK's internal border and tab bar on top of each other

* src/xterm.c (x_clear_under_internal_border): For GTK builds
have 'margin' count in the height of the tab bar to avoid that
tab bar and internal border are drawn on top of each other.
src/xterm.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.